Extending Contract Automata with Reparations

Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata are a recent approach to modelling the notion of contractbased interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. In this article we look into different ways reparation can be added to an automaton-based contract approach, extended contract automata with three forms of such clauses: (i) catch-all reparations for violation; (ii) reparations for specific violations; and (iii) hierarchical contracts for local reparation reasoning. Extending Contract Automata with Reparations∗ Shaun Azzopardi Department of Computer Science University of Malta Msida, Malta Gordon J. Pace Department of Computer Science University of Malta Msida, Malta Fernando Schapachnik Departamento de Computación, FCEyN, Universidad de Buenos Aires Buenos Aires, Argentina Abstract: Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata are a recent approach to modelling the notion of contractbased interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. In this article we look into different ways reparation can be added to an automaton-based contract approach, extended contract automata with three forms of such clauses: (i) catch-all reparations for violation; (ii) reparations for specific violations; and (iii) hierarchical contracts for local reparation reasoning. Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata are a recent approach to modelling the notion of contractbased interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. In this article we look into different ways reparation can be added to an automaton-based contract approach, extended contract automata with three forms of such clauses: (i) catch-all reparations for violation; (ii) reparations for specific violations; and (iii) hierarchical contracts for local reparation reasoning.